Automated reasoning - PDFSEARCH.IO - Document Search Engine

Automated reasoning
Results: 284

#	Item
111	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Reducing Equational Theories for the Decision of Static Equivalence Steve Kremer · Antoine Mercier · Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2011-08-02 11:02:31
112	Nuprl's Inductive Logical Forms Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Type theory Mathematical logic Logic Hierarchy Structure Reasoning Automated theorem proving Epistemology Inductive reasoning Nuprl Logic programming
113	Automated Reasoning and Program Verification Midterm Assignment Due March 17, 2015 Problempoints) Find a model of the formula ((¬p → q) → p) → ¬p using only the pure atom Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2015-03-12 08:55:33
114	Automated Reasoning and Program Verification ´ Laura Kovacs TU Vienna Outline Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2015-03-17 10:02:14
115	To appear in Proc. AAAI’97 Dynamic Abstraction Planning Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy Automated Reasoning Group Add to Reading List Source URL: musliner.com Language: English - Date: 2008-12-19 05:47:47
116	Automated Reasoning and Program Verification ´ Laura Kovacs TU Vienna Outline Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2015-03-12 06:29:37
117	RESEARCH STATEMENT Eva Darulová The goal of my research is to develop techniques and tools for automated reasoning about numerical programs and thus help scientists and engineers write correct, accurate and efficient s Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-11-06 07:12:32
118	Automated Reasoning and Program Verification ´ Laura Kovacs TU Vienna Outline Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2015-03-11 08:52:33
119	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨ Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-04-16 09:50:00
120	C o n n e c t i n g G re a t M i n d s Add to Reading List Source URL: www.cin.ufpe.br Language: English - Date: 2011-09-16 07:48:16 Reasoning Deductive reasoning Programming paradigms Artificial intelligence Automated theorem proving Reasoning system Mathematical logic Knowledge representation and reasoning Computer science Logic programming Inference Natural deduction

UPDATE